81. Contemporary trends in discrete mathematics : from DIMACS and DIMATIA to the future : DIMATIA-DIMACS conference, May 19-25, 1997, Stirin Castle, Czech Republic
پدیدآورنده : Ronald L. Graham, editors...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Graph theory,Congresses ، Combinatorial analysis,Congresses ، Computer science -- Mathematics
رده :
QA
166
.
D55
1997
82. Discrete mathematical problems with medical applications
پدیدآورنده : / Ding-Zhu Du, Panos M. Pardalos, Jie Wang, editors
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Medicine- Mathematics- Congresses,Computer science- Mathematics- Congresses,Biomathematics- Congresses,Mathematics- Congresses
رده :
R853
.
M3
,.
D56
1999
83. Discrete mathematical problems with medical applications: DIMACS Workshop Discrete Mathematical Problems with Medical Applications, December 8-10, 1999, DIMACS Center
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Medicine-- Mathematics,Congresses ، Computer science-- Mathematics,Congresses ، Biomathematics,Congresses ، Mathematics
رده :
R
853
.
M3
.
D56
1999
84. Discrete mathematical problems with medical applications : DIMACS Workshop Discrete Mathematical Problems with Medical Applications, December 8-10, 1999, DIMACS Center
پدیدآورنده : Ding-Zhu Du, Panos M. Pardalos, Jie Wang, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Medicine -- Mathematics,Congresses ، Computer science -- Mathematics,Congresses ، Biomathematics,Congresses ، Mathematics
رده :
R
853
.
M3D5
1999
85. Discrete mathematics and its applications
پدیدآورنده : editor, M. Sethumadhavan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Mathematics,Congresses ، Computer science -- Mathematics
رده :
QA
1
.
I528
2004
86. Discrete methods in epidemiology
پدیدآورنده : James Abello, Graham Cormode, editors; Center for Discrete Mathematics and Theoretical Computer Science...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Epidemiology,Mathematics -- Congresses ، Epidemiology,Congresses ، Computer science
رده :
RA
651
.
D58
2004
87. Discrete structural optimization: IUTAM Symposium, Zakopane, Poland, August 31-Septmber 3, 1993
پدیدآورنده : W. Gutkowski, J. Bauer ]eds.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing - Congresses ، Structural optomization,Mathematics - Congresses ، Computer science
رده :
TA
658
.
8
.
I96
1993
88. Eurofuse 2011
پدیدآورنده : Pedro Melo-Pinto ... [et al] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science), Congresses,Fuzzy logic, Congresses,Fuzzy mathematics, Congresses,Fuzzy systems, Congresses
رده :
QA76
.
76
.
E95
E325
2011eb
89. Expert systems for scientific computing
پدیدآورنده : / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: (South Khorasan)
موضوع : Mathematics--Data processing--Congresses,Numerical analysis--Data processing--Congresses,Expert systems (Computer science)--Congresses,Software--Congresses
رده :
QA76
.
95
.
I48
1990
90. Expert systems for scientific computing
پدیدآورنده : / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mathematics, Data processing, Congresses,Numerical analysis, Data processing, Congresses,Expert systems (Computer science), Congresses,Software, Congresses
رده :
QA76
.
95
.
I48
1992
91. FME 2002 :
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
92. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
93. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
94. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
95. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
96. Formal Concept Analysis:
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Congresses. ;
97. Formal Concept Analysis :
پدیدآورنده : Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
98. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
99. Formal concept analysis :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Congresses. ;
100. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
